Viewing Landmarks as Temporally Extended Goals

نویسندگان

  • Letao Wang
  • Jorge A. Baier
  • Sheila A. McIlraith
چکیده

Landmarks are facts that must hold true at some point in all solutions to a planning problem. The exploitation of landmarks and associated ordering constraints has been shown to be very effective in computing high-quality plans, quickly. Indeed the success of LAMA, winner of the 2008 International Planning Competition sequential satisficing track, can be attributed in some measure to its ability to generate reliable landmark and ordering information and to exploit them via a pseudo-heuristic. In this paper we view landmarks and their associated orderings as temporally extended goals (TEGs) and adapt an existing heuristic for TEGs to provide guidance to a planner in two ways: by estimating distance to achieving landmarks and goals while respecting orderings, and by identifying dead-ends in the search tree that can be pruned by the planner. We integrate our heuristic as an extension to LAMA. Experiments show that our planner outperforms LAMA in several domains, while exploring significantly less of the search space in over 50% of the experiments run.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Agent programming with temporally extended goals

In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of states instead of a set of desirable final states as the traditional notion of achievement goal does, and provide for more variety in the types of goals allowed. In this paper, we show how temporally extended goals can be i...

متن کامل

Search Control in Planning for Temporally Extended Goals

Current techniques for reasoning about search control knowledge in AI planning, such as those used in TLPlan, TALPlanner, or SHOP2, assume that search control knowledge is conditioned upon and interpreted with respect to a fixed set of goal states. Therefore, these techniques can deal with reachability goals but do not apply to temporally extended goals, such as goals of achieving a condition w...

متن کامل

Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)

Temporally extended goals are critical to the specification of a diversity of real-world planning problems. Here we examine the problem of planning with temporally extended goals over both finite and infinite traces where actions can be nondeterministic, and where temporally extended goals are specified in linear temporal logic (LTL). Unlike existing LTL planners, we place no restrictions on ou...

متن کامل

Hybrid Planning with Temporally Extended Goals for Sustainable Ocean Observing

A challenge to modeling and monitoring the health of the ocean environment is that it is largely under sensed and difficult to sense remotely. Autonomous underwater vehicles (AUVs) can improve observability, for example of algal bloom regions, ocean acidification, and ocean circulation. This AUV paradigm, however, requires robust operation that is cost effective and responsive to the environmen...

متن کامل

Improving Robot Self-localization Using Landmarks' Poses Tracking and Odometry Error Estimation

In this article the classical self-localization approach is improved by estimating, independently from the robot’s pose, the robot’s odometric error and the landmarks’ poses. This allows using, in addition to fixed landmarks, dynamic landmarks such as temporally local objects (mobile objects) and spatially local objects (view-dependent objects or textures), for estimating the odometric error, a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009